//==========================================================================
// Copyright (c) 2000-2008,  Elastos, Inc.  All Rights Reserved.
//==========================================================================
#include <libpub.h>
#include <bo_devices.h>

//==========================================================================
int Do_InitCPU(void)
{
    //TODO: Add your code here
    TOUT(1, 1, printf("Init CPU\n"));
    return 0;
}

int Do_InitTimer(void)
{
    //TODO: Add your code here
    TOUT(1, 1, printf("Init Timer\n"));
    return 0;
}

DECL_INITCMD(Do_InitCPU, "CPU");
DECL_INITCMD(Do_InitTimer, "Timer");
